Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
71	Leveraging Algorithms for DATA-POP ALLIANCE Positive Disruption: Add to Reading List Source URL: datapopalliance.org Language: English - Date: 2016-08-01 11:42:29 Machine learning Cybernetics Algorithm Mathematical logic Theoretical computer science Big data Recommender system Statistical classification Program optimization
72	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Static program analysis Theoretical computer science Safety Computer security Safety case KeY Hoare logic Formal verification Proof-carrying code Hazard analysis Loop invariant
73	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE
74	Funding Evaluation Plan Delray Beach Community Redevelopment Agency (CRA) Organization Contact Person Project/Program A Name Funding Period Project/Program B Name Fu Add to Reading List Source URL: delraycra.org Language: English - Date: 2016-05-25 17:11:34 Evaluation methods Logic model Evaluation Impact assessment Program evaluation Impact evaluation
75	Conservation Corps North Bay’s mission is to develop youth and conserve natural resources for a strong, sustainable community. We achieve our mission by:  Providing a diverse group of youth and young adults with opp Add to Reading List Source URL: www.ccnorthbay.org Language: English - Date: 2016-04-21 17:09:42 Evaluation methods Impact assessment Program evaluation Evaluation Logic model Business process MEASURE Evaluation American Evaluation Association
76	Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-03-13 08:30:05 Automated theorem proving Proof theory Symbol Sequent Substitution First-order logic Hoare logic Method of analytic tableaux Polar coordinate system
77	Delray Beach CRA – Program/Project Logic Model __A __B Organization Contact Person Program/Project Name Funding Period Program/Project Budget Request Add to Reading List Source URL: delraycra.org - Date: 2016-05-25 17:24:28
78	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
79	Microsoft Word - Program_Planning_Guide_0808 Add to Reading List Source URL: www.cefe.illinois.edu Language: English - Date: 2008-12-02 16:25:30 Evaluation Human resource management Needs assessment Logic model
80	Proceedings of the Electroacoustic Music Studies Network Conference Electroacoustic Music Beyond Performance, Berlin, June 2014 www.ems-network.org The Deadly Embrace Between Music Software and Its Users Miller Puckette Add to Reading List Source URL: msp.ucsd.edu Language: English - Date: 2014-11-03 22:57:12 Software Visual programming languages Computer programming Max Computer music Free software Computing Miller Puckette Logic Pro Computer program Source code Integrated development environment

UPDATE